predicate calculuss
predicate calculus
【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]
热门查询
- tendering v. 投标；提出；清偿（tender的ing形式）
- Dacre [人名] [英格兰人姓氏] 戴克住所名称，来源于河流名称; [地名] [加拿大、英国] 戴克
- oldness n. 年老；陈腐；陈旧
- reformulate vt. 再用形式表示
- quality control n. 质量控制 [网络] 质量管理；品质管制；品质控制
- tower n. 塔；高楼；堡垒 vi. 高耸；超越 n. (Tower)人名；(英)托尔
- shelling n. 去皮；去壳 v. 剥去…的外壳；向…开枪；脱落（shell的ing形式）
- pugilism n. 拳击
- consensual adj. 交感的；在双方同意下成立的
- pasting n. 裱糊，涂；粘合
- juggling adj. 欺诈的；变戏法的；欺骗的 n. 杂耍；欺骗（等于jugglery） v. 玩杂耍（juggle的ing形式）
- thank n. 感谢 vt. 感谢 int. 谢谢
- mantilla n. 女用小披风，连披肩之头纱 n. (Mantilla)人名；(西)曼蒂利亚
- roi n. (Roi)人名；(法)鲁瓦；(俄、意)罗伊 abbr. 投资回收率（return on investment）；利润率（Rate of Interest）
- squeaker n. 雏鸽；小猪；咬臼者；吱吱叫的东西；发出短促刺耳声的人（或物）
- handset n. 手机，电话听筒
- Christensen [人名] 克里斯滕森
- downside n. 负面，缺点；下降趋势；底侧 adj. 底侧的
- briny adj. 海水的；咸的；盐水的
- ephemeris n. 星历表，历书；短命的东西；日历，日记
考试词汇表
- coded character set identifier
- coded phase-coherent telemetry
- coded representation of method
- coder (encoder, coding device)
- coding of neuronal information
- coefficient of autocorrelation
- coefficient of biological type
- coefficient of compressibility
- coefficient of cross viscosity
- coefficient of cubic expansion
- coefficient of daily variation
- coefficient of differentiation
- coefficient of eddy conduction
- coefficient of field weakening
- coefficient of filling setting
- coefficient of flood recession
- coefficient of freight traffic
- coefficient of frictional wear
- coefficient of heat conduction
- coefficient of heat convection
